Web Portal for Benchmarking Explicit Model Checkers

BEEM: Benchmarks for Explicit Model Checkers

We present Beem — BEnchmarks for Explicit Model checkers. This benchmark set includes more than 50 parametrized models (300 concrete instances) together with their correctness properties (both safety and liveness). The benchmark set is accompanied by an comprehensive web portal, which provides detailed information about all models. The web portal also includes information about state spaces and...

An approach based on the Adaptive Resonance Theory for analysing the viability of recommender systems in a citizen Web portal

This paper proposes a methodology to optimise the future accuracy of a collaborative recommender application in a citizen Web portal. There are four stages namely, user modelling, benchmarking of clustering algorithms, prediction analysis and recommendation. The first stage is to develop analytical models of common characteristics of Web-user data. These artificial data sets are then used to ev...

Web-Portal und Reifegradmodell für ein Benchmarking des betrieblichen Umweltmanagements

OntoWebber: Ontology Based Web Site Management

Building data-intensive Web sites and especially Web portals is a costly task, which requires considerable effort for data integration and maintenance and usually does not result in many reusable components. This is mainly because most of the design is hard-coded in static or dynamic Web pages. In this paper we integrate three different approaches to create a comprehensive solution to Web site ...

Benchmarking Explicit State Parallel Model Checkers

This paper presents a set of benchmarks and metrics for performance reporting in explicit state parallel model checking algorithms. The benchmarks are selected for controllability, and the metrics are chosen to measure speedup and communication overhead. The benchmarks and metrics are used to compare two parallel model checking algorithms: partition and random walk. Implementations of the parti...